Peter H. Schmitt (eds.): αναζήτηση στον ιστότοπο της Z-Library

Ελεύθερη πρόσβαση στη γνώση και τον πολιτισμό.

Don't use scam websites

Βιβλία (17)
Τα πιο δημοφιλή
Λίστα
- Λίστα
- Πίνακας

1

Deductive Software Verification – The KeY Book: From Theory to Practice

Deductive Software Verification – The KeY Book: From Theory to Practice

Springer International Publishing

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich (eds.)

Έτος:

2016

Γλώσσα:

english

Αρχείο:

PDF, 8.26 MB

5.0 / 5.0

english, 2016

2

Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

Springer Netherlands

W. Reif, G. Schellhorn, K. Stenzel, M. Balser (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.)

Έτος:

1998

Γλώσσα:

english

Αρχείο:

DJVU, 3.89 MB

0 / 0

english, 1998

3

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.)

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 3.94 MB

0 / 0

english, 2007

4

Nonmonotonic and Inductive Logic: Second International Workshop Reinhardsbrunn Castle, Germany December 2–6, 1991 Proceedings

Nonmonotonic and Inductive Logic: Second International Workshop Reinhardsbrunn Castle, Germany December 2–6, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Gerd Brewka, Jürgen Dix, Kurt Konolige (auth.), Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt (eds.)

Έτος:

1993

Γλώσσα:

english

Αρχείο:

DJVU, 3.35 MB

0 / 0

english, 1993

5

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Hans Daduna, Lars Peter Saul (auth.), Jens B. Schmitt (eds.)

Έτος:

2012

Γλώσσα:

english

Αρχείο:

PDF, 5.17 MB

0 / 5.0

english, 2012

6

Fabrication of Complex Optical Components: From Mold Design to Product

Fabrication of Complex Optical Components: From Mold Design to Product

Springer-Verlag Berlin Heidelberg

Robert Schmitt, Peter Becker (auth.), Ekkard Brinksmeier, Oltmann Riemer, Ralf M. Gläbe (eds.)

Έτος:

2013

Γλώσσα:

english

Αρχείο:

PDF, 46.59 MB

0 / 0

english, 2013

7

Digital Urban Modeling and Simulation

Digital Urban Modeling and Simulation

Springer-Verlag Berlin Heidelberg

Gerhard Schmitt (auth.), Stefan Müller Arisona, Gideon Aschwanden, Jan Halatsch, Peter Wonka (eds.)

Έτος:

2012

Γλώσσα:

english

Αρχείο:

PDF, 76.58 MB

0 / 0

english, 2012

8

Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

Springer Netherlands

W. Reif, G. Schellhorn, K. Stenzel, M. Balser (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.)

Έτος:

1998

Γλώσσα:

english

Αρχείο:

PDF, 16.71 MB

0 / 0

english, 1998

9

Automated Deduction — A Basis for Applications: Volume III Applications

Automated Deduction — A Basis for Applications: Volume III Applications

Springer Netherlands

Ingo Dahn (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.)

Έτος:

1998

Γλώσσα:

english

Αρχείο:

PDF, 13.25 MB

0 / 0

english, 1998

10

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.)

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 5.36 MB

0 / 0

english, 2007

11

Automated Deduction — A Basis for Applications: Volume III Applications

Automated Deduction — A Basis for Applications: Volume III Applications

Springer Netherlands

Ingo Dahn (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.)

Έτος:

1998

Γλώσσα:

english

Αρχείο:

DJVU, 2.98 MB

0 / 0

english, 1998

12

Research and Development in Intelligent Systems XXIII: Proceedings of AI-2006, the Twenty-sixth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence

Research and Development in Intelligent Systems XXIII: Proceedings of AI-2006, the Twenty-sixth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence

Springer-Verlag London

Arjen Hommersom, Perry Groot, Peter Lucas, Michael Balser, Jonathan Schmitt (auth.), Professor Max Bramer BSc, PhD, CEng, FBCS, FIEE, FRSA, Dr Frans Coenen PhD, Dr Andrew Tuson MA, MSc, PhD, MBCS (eds.)

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 16.94 MB

0 / 0

english, 2007

13

Aspekte der Entwicklung im mittleren und höheren Lebensalter: Ergebnisse der Interdisziplinären Längsschnittstudie des Erwachsenenalters (ILSE)

Aspekte der Entwicklung im mittleren und höheren Lebensalter: Ergebnisse der Interdisziplinären Längsschnittstudie des Erwachsenenalters (ILSE)

Steinkopff-Verlag Heidelberg

U. Lehr, H. Thomae, M. Schmitt, E. Minnemann (auth.), Prof. Dr. Peter Martin, Prof. Dr. Klaus Udo Ettrich, Prof. em. Dr. Dr. h.c. Ursula Lehr, Prof. Dr. Dorothea Roether, Dr. Mike Martin, Dipl.-Psych. Antje Fischer-Cyrulies (eds.)

Έτος:

2000

Γλώσσα:

german

Αρχείο:

PDF, 7.99 MB

0 / 0

german, 2000

14

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Hans Daduna, Lars Peter Saul (auth.), Jens B. Schmitt (eds.)

Έτος:

2012

Γλώσσα:

english

Αρχείο:

PDF, 5.36 MB

0 / 0

english, 2012

15

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Hans Daduna, Lars Peter Saul (auth.), Jens B. Schmitt (eds.)

Έτος:

2012

Γλώσσα:

english

Αρχείο:

PDF, 5.21 MB

0 / 0

english, 2012

16

Vierter Internationaler Kongress für Elektronenmikroskopie / Fourth International Conference on Electron Microscopy / Quatrième Congrès International de Microscopie Électronique: Berlin 10.–17. September 1958

Vierter Internationaler Kongress für Elektronenmikroskopie / Fourth International Conference on Electron Microscopy / Quatrième Congrès International de Microscopie Électronique: Berlin 10.–17. September 1958

Springer-Verlag Berlin Heidelberg

Francis O. Schmitt (auth.), W. Bargmann, G. Möllenstedt, H. Niehrs, D. Peters, E. Ruska, C. Wolpers (eds.)

Έτος:

1960

Γλώσσα:

german-english

Αρχείο:

PDF, 39.44 MB

0 / 0

german-english, 1960

17

Verhandlungen Band II / Biologisch-Medizinischer Teil

Verhandlungen Band II / Biologisch-Medizinischer Teil

Springer-Verlag Berlin Heidelberg

Francis O. Schmitt (auth.), W. Bargmann, D. Peters, C. Wolpers (eds.)

Έτος:

1960

Γλώσσα:

german

Αρχείο:

PDF, 57.73 MB

0 / 0

german, 1960